Buy Used and New Tobias Nipkow Books

Results for Tobias Nipkow

Showing 1 to 6 of 6 results
Concrete Semantics: With Isabelle/HOL Concrete Semantics: With Isabelle/HOL by Tobias Nipkow,Gerwin Klein

Concrete Semantics: With Isabelle/HOL

by Tobias Nipkow,Gerwin Klein


ISBN 13: 9783319105413

Format: Hardcover (311 pages)
Publisher: Springer
Published: 31 Dec 2014

Save for later

 
New : $99.72  
New : $99.72
Concrete Semantics: With Isabelle/HOL Concrete Semantics: With Isabelle/HOL by Tobias Nipkow,Gerwin Klein

Concrete Semantics: With Isabelle/HOL

by Tobias Nipkow,Gerwin Klein


ISBN 13: 9783319357591

Format: Paperback (311 pages)
Publisher: Springer
Published: 10 Sep 2016

Save for later

 
New : $54.86  
New : $54.86